Factor pair latin squares

Sudoku has risen in popularity over the past few years. The rules are simple, yet the solutions are often less than trivial. Mathematically, these puzzles are interesting in their own right. This paper will generalize the idea of a sudoku puzzle to define a new kind of n× n array. We define a latin square of order n as an n×n array where every row and every column contain every symbol 1, 2, . . . , n exactly once. We say (a, b) is an ordered factor pair of the integer n if n = a × b. An (a, b)-sudoku latin square is a latin square where in addition to each row and column containing every symbol exactly once, each a×b rectangle also contains every symbol exactly once when the n × n array is tiled with a × b rectangles in the natural way. A factor pair latin square of order n (denoted FPLS(n)) is an (a, b)-sudoku latin square for every ordered factor pair (a, b) of n. This paper will mainly be concerned with the existence of such designs.